Trefferliste "Verification & Validation Of AI" - alle CDs, Bücher, LPs und mehr

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

The Curious Bards - (Ex) Tradition

The Curious Bards

Terry Riley (geb. 1935)

The Columbia Recordings

Terry Riley (E-Orgel, E-Cembalo, Keyboards, Goblet Drum, Tamburin), Adam Miller, John Cale

Capella de la Torre - Air Music (Tales of Flying Creatures and Heavenly Breezes)

Capella de la Torre, Katharina Bäuml

Kate Crawford,

Atlas der KI

Weder künstlich noch intelligent ? eine kritische Analyse der KI-IndustrieWir tendieren dazu, künstliche Intelligenz als eine wundersame und körperlose Form der maschinellen Klugheit zu betrachten. Von de…

Kate Crawford,

Atlas der KI

Weder künstlich noch intelligent - eine kritische Analyse der KI-IndustrieWir tendieren dazu, künstliche Intelligenz als eine wundersame und körperlose Form maschineller Klugheit zu betrachten. Von der pr…

Jóhann Jóhannsson (1969-2018)

DroneMass (Messe/Oratorium für Streichquartett,Vokalensemble,Elektronik)

American Contemporary Music Ensemble, Theatre of Voices, Paul Hillier

William L. Oberkampf, Christopher J. Roy

Verification, Validation, and Uncertainty Quantification in Scientific Computing

Can you trust results from modeling and simulation? This text provides a framework for assessing the reliability of and uncertainty included in the results used by decision makers and policy makers in ind…

Helen Grime (geb. 1981)

Kammermusik

Hebrides Ensemble

Keep 'Em Flying

Renaud Capucon - Cinema 2 (180g)

Renaud Capucon, Les Siecles, Duncan Ward

Marina Baranova (geb. 1981)

Cosmic Calendar

Martina Baranova (Klavier), Olga Heydrich (Flöte), Vadym Pogorilyy (French Horn), Kana Sugimura (Violine), Martha Bijlsma (Cello)

Henry Purcell (1659-1695)

Lieder "Love Songs"

Dorothee Mields, Lautten Compagney, Wolfgang Katschner

Samuel Barber (1910-1981)

Sämtliche Lieder

Leilah Dione Ezra, Elisabetta Lombardi, Mauro Borgioni, Filippo Farinelli

Ludwig van Beethoven (1770-1827)

Tripelkonzert op.56

Nicola Benedetti, Sheku Kanneh-Mason, Benjamin Grosvenor, Gerald Finley, Philharmonia Orchestra, Santtu-Matias Rouvali

Vassilina Serfimova - Bach Mirror

Vassilina Serfimova (Marimba), Thomas Enhco (Klavier)